“정확성 증명”으로 총 2건 검색
용어사전
(1건)
-
- 정확성 증명, 正確性證明, correctness proof
- 시스템 보안 관련 규격과 그 규격의 작용 사이의 일관성을 수학적으로 증명하는 것.
TTA표준
(1건)
TTA 정보통신단체표준 내 정의된 용어입니다.
-
- 정확성 증명, proof of correctness
- (1) 프로그램이 그의 명세(서)를 만족시킨다는 것을 수학적으로 증명하는 정형적인 기술. (2) 이 기술을 적용하여 얻게 되는 프로그램의 증명.
- 출처 : 단체표준 TTAS.KO-11.0019 소프트웨어 프로세스와 품질 - 용어